Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
701	Modal Proofs as Distributed Programs? (Extended Abstract) Limin Jia and David Walker Princeton University 35 Olden St., Princeton, NJ 08544, USA {ljia,dpw}@cs.princeton.edu Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Proof theory Non-classical logic Logic in computer science Semantics Deduction Natural deduction Modal logic Negation Sequent calculus Logic Mathematical logic Mathematics
702	BE-UT Behavioral Assumptions for a Class of Utility Theories: A Program of Experiments R. Duncan Luce Institute for Mathematical Behavioral Sciences, University of California, Add to Reading List Source URL: www.imbs.uci.edu Language: English - Date: 2014-11-04 13:01:49 Decision theory Mathematical logic Utility Universal property Group action Theory of conjoint measurement Abstract algebra Mathematics Algebra
703	NII Lectures: A Model Of Parallelism To Guide Thinking Lawrence Snyder www.cs.washington.edu/homes/snyder 1 October 2008 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-01-12 02:04:57 Models of computation Programming paradigms Algorithm Mathematical logic Theoretical computer science Programming language Abstract machine C Abstraction Computing Software engineering Computer programming
704	On the characterization of models of H ∗ Flavien Breuvart ∗ PPS, UMR 7126, Univ Paris Diderot, LIPN, UMR 7030, Univ Paris Nord, Sorbonne Paris Cit´e Abstract Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2014-05-14 11:54:52 Models of computation Mathematics Lambda calculus Symbol Combinatory logic Denotational semantics Spectral theory of ordinary differential equations Curry–Howard correspondence Theoretical computer science Logic in computer science Applied mathematics
705	tifact Our work includes the specification of the language via a bidirectional type system, which works “up-to-congruence,” and an algorithm for elaborating expressions in this language to an explicitly typed core l Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-10-29 14:48:47 Mathematical logic Symbol Unification First-order logic Motive Valuation Abstract algebra Algebraic geometry Mathematics
706	FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-02-28 05:08:39 Logic in computer science Models of computation Formal methods Denotational semantics De Bruijn index Higher-order abstract syntax Lambda calculus ECL programming language Actor model Computing Software engineering Theoretical computer science
707	LFMTPNominal Reasoning Techniques in Coq (Extended Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Theory of computation Computability theory Functions and mappings Logic in computer science Combinatory logic Function Primitive recursive function De Bruijn index Mathematics Theoretical computer science Mathematical logic
708	What is Special about Children’s Deontic Reasoning? Monica Bucciarelli () Center for Cognitive Science and Department of Psychology, via Po 14, 10123 Torino ITALY Abstract The Mental Model Theory Add to Reading List Source URL: www.psych.unito.it Language: English - Date: 2012-10-03 11:32:53 Thought Modal logic Reasoning Cognitive psychology Epistemology Mental model Reason Modal operator Psychology Science Logic Ethology
709	A Logic-based Approach to Decision Making Magdalena Ivanovska∗ and Martin Giese∗ Abstract We propose a novel approach to the well-studied problem of making a finite, ordered sequence of decisions under uncertainty. M Add to Reading List Source URL: www.nik.no Language: English - Date: 2012-02-29 03:37:49 Boolean algebra Model theory Logical syntax Metalogic Function Interpretation Propositional formula Bayesian network Influence diagram Logic Mathematical logic Propositional calculus
710	AEG: Automatic Exploit Generation Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao and David Brumley Carnegie Mellon University, Pittsburgh, PA {thanassis, sangkilc, brentlim, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Software testing Logic in computer science Automated theorem proving Concolic testing Symbolic execution Buffer overflow Predicate transformer semantics Precondition Theoretical computer science Software bugs Mathematics

UPDATE